Terminal object

terminal object in a category \(\mathcal{C}\)

• An object z is terminal if, for each object c there exists a unique morphism \(c \xrightarrow{!} z\)

• We say terminal objects have a universal property

Linked by

• Terminal in Set: referenced
• Exercise 3-81: referenced
• Limit: referenced